Abstract structure

Results: 1322



#Item
341Structure / Lie groups / Algebraic groups / Hierarchy / Patterns / Political culture / Complete lattice / Formal concept analysis / Frame language / Abstract algebra / Mathematics / Lattice theory

Design of class hierarchies based on concept (Galois) lattices Design of class hierarchies based on concept (Galois) lattices Robert Godin1, Hafedh Mili1, Guy W. Mineau2, Rokia Missaoui1, Amina Arfi1, Thuy-Tien Chau1

Add to Reading List

Source URL: intra.info.uqam.ca

Language: English - Date: 2009-08-04 12:55:11
3423D computer graphics / Visual effects / Image processing / Robot control / Computer graphics / Pose / Structure from motion / Rendering / Bundle adjustment / Computer vision / Imaging / Vision

Visual modeling: from images to images Marc Pollefeys and Luc Van Gool Center for Processing of Speech and Images, K.U.Leuven, Belgium Abstract This paper contains two parts. In the first part an automatic processing pip

Add to Reading List

Source URL: www.inf.ethz.ch

Language: English - Date: 2002-08-25 19:57:28
343Mental content / Mental processes / Ontology / Cognitive science / Alief / Belief / Mental representation / Propositional attitude / Proposition / Philosophy of mind / Mind / Philosophy

AGAINST ALIEF Penultimate Draft (forthcoming in Philosophical Studies) Abstract This essay attempts to clarify the nature and structure of aliefs. First I distinguish between a robust notion of aliefs and a deflated one.

Add to Reading List

Source URL: people.fas.harvard.edu

Language: English - Date: 2012-11-15 22:28:39
344Analytic geometry / Catenary / Curves / Exponentials / Computational science / Tensile structure / Logic simulation / Computer simulation / General relativity / Geometry / Engineering / Science

Linking Hanging Chain Models to Fabrication Axel Kilian, Ph.D. Candidate in Computation, Department of Architecture, School of Architecture and Planning, Massachusetts Institute of Technology, Cambridge, MA Abstract The

Add to Reading List

Source URL: www.designexplorer.net

Language: English - Date: 2006-11-19 20:26:29
345Europe / Framework Programmes for Research and Technological Development / Service innovation / Innovation / Open innovation / Luxinnovation / Alpine Space Programme / Design / Structure / European Union

“Light and fast” funding for innovation: Making EU innovation policies fit for the web David Osimo – Tech4i2 ltd Table of contents   Abstract..............................................

Add to Reading List

Source URL: www.open-evidence.com

Language: English - Date: 2014-11-18 10:36:40
346Mathematical logic / Model theory / Proof of knowledge / Functions and mappings / IP / Zero-knowledge proof / Structure / Functor / Soundness / Mathematics / Cryptographic protocols / Logic

A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain {Gilles.Barthe, Daniel.Hedin, Santiago.Zanella}@imdea.org Abstract—Zero-knowled

Add to Reading List

Source URL: software.imdea.org

Language: English - Date: 2013-03-13 12:33:24
347Biology / Drug discovery / Medicinal chemistry / Cheminformatics / Protein structure / Docking / Virtual screening / Markov random field / Ligand / Chemistry / Science / Bioinformatics

Microsoft Word - Keystone_2006_Klebansky_Probabalistic_Abstract.doc

Add to Reading List

Source URL: www.biopredict.com

Language: English - Date: 2006-11-28 17:37:12
348Algebra / Homological algebra / Algebraic geometry / Crystalline cohomology / Elementary class / Structure / Abstract algebra / Model theory / Mathematics

ON A RESULT OF ARTIN AISE JOHAN DE JONG Let k be an algebraically closed field of characteristic p > 0. Let t be a parameter and set S = Spec(k[[t]]). Let f : X → S be a smooth proper morphism with generic fibre Xη an

Add to Reading List

Source URL: math.columbia.edu

Language: English - Date: 2011-10-21 23:36:29
349Structure from motion / Pose / Epipolar geometry / Homography / 3D scanner / Triangulation / Bundle adjustment / Computer graphics / Image rectification / Geometry / Computer vision / Vision

Video-to-3D Marc Pollefeys, Luc Van Gool, Maarten Vergauwen, Kurt Cornelis, Frank Verbiest, Jan Tops Center for Processing of Speech and Images, K.U.Leuven Abstract

Add to Reading List

Source URL: www.inf.ethz.ch

Language: English - Date: 2002-05-08 09:03:34
350Biochemistry / Proteomics / Proteins / Motion planning / Theoretical computer science / Protein folding / Probabilistic roadmap / Protein domain / Protein / Biology / Protein structure / Machine learning

Adaptive Motion Planning for Complex Planning Problems Lydia Tapia and John Baxter Abstract— Motion planning has been used to solve problems of high complexity in both robotic and biological domains. In robotics, the t

Add to Reading List

Source URL: iros2011.org

Language: English - Date: 2011-09-21 07:00:38
UPDATE